Feeds to Scour
SubscribedAll
Scoured 1240 posts in 40.2 ms
A Validated Semantics for LLVM IR
sf.snu.ac.kr·18h
📐TLA+
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·17h·
Discuss: r/LocalLLaMA
🪄Prompt Engineering
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·10h
💾Binary Formats
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·7h
📘Typescript
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·9h
🧩Types
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·11h
⚡Comptime Programming
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraph — Part 1
pub.towardsai.net·1h
🏆LLM Benchmarking
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·7h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Preview
Report Post
Are We In A Coding Overhang?
lesswrong.com·21h
✨Code Aesthetics
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·11h·
Discuss: Hacker News
✏️Code Editors
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·20h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·14h
📖Readability Algorithms
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·19h·
Discuss: Lobsters, Hacker News, r/programming
⚙Rust Compiler Internals
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·8h·
Discuss: Hacker News
🔍AI Interpretability
Preview
Report Post
The Rust Programming Language - The Rust Programming Language
doc.rust-lang.org·1h
🦀Rust
Preview
Report Post
C –> Java != Java –> LLM
observationalhazard.com·44m·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
Steve Yegge’s Vibe Coding Manifesto: Why Claude Code Isn’t It & What Comes After the IDE
thesecondorder.net·17h
✏️Code Editors
Preview
Report Post
The Unreasonable Effectiveness of an LLM Agent Loop with Tool Use
philz.dev·14h
🕳LLM Vulnerabilities
Preview
Report Post
Small wordle project I made!
reddit.com·21h·
Discuss: r/rust
✏️Code Editors
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·23h
🪄Prompt Engineering
Preview
Report Post